:: [Int] -> Int -package:basic-prelude -package:linear-base package:prelude-compat